cBio-Inspired Modelling of Software Verification by Modified Moran Processes

Bio-inspired Modelling of Software Verification by Modified Moran Processes

A new approach for the control and prediction of verification activities for large safety-relevant software systems will be presented in this paper. The model is applied on a macroscopic system level and based on so-called Moran processes, which originate from mathematical biology and allow for the description ofphenomena as, for instance, genetic drift. Beside the theoretical foundations of th...

Methodology Modelling: Combining Software Processes with Software Products Methodology Modelling: Combining Software Processes with Software Products

Software processes and software products are the two inseparable issues that a software development methodology addresses. Based on the notion of software objects which combine software processes with software products, we introduce a methodology-oriented approach to process modelling , to facilitate eeective environment support for software development. Using this approach, we develop a proces...

Multi-View Modelling of Software Processes

The objective of software process technology is to support the derivation and analysis of software process models, and their use in projects. Software process models should represent as much as possible of a project, and thereby support as many project members as possible. But a very rare few people ever understand a large project as a whole. The rst problem is that every process element is vie...

Modelling Agile software processes using bayesian networks

Software Engineering Inspired Cost Estimation for Process Modelling

Up to this point business process management projects in general and business process modelling projects in particular could not rely on a practical and scientifically validated method to estimate cost and effort. Especially the model development phase is not covered by a cost estimation method or model. Further phases of business process modelling starting with implementation are covered by in...